;; The first four lines of this file were added by Dracula.
;; They tell DrScheme that this is a Dracula Modular ACL2 program.
;; Leave these lines unchanged so that DrScheme can properly load this file.
#reader(planet "reader.rkt" ("cce" "dracula.plt") "modular" "lang")
(interface IcommonTimes
  (sig get-common-times-output (members))
  (sig bitlist->timesstring (bits))
  (sig timeString->bitList(shedule))
  (sig time-bitwise-and(time1 time2))
)